sender($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$source(lnk(kind($e$)))$,\,$mu($\lambda$$t$.match(lnk(kind($e$));$t$;time($e$)))$\rangle$